Using Formal Meta-Data Descriptions for Automated Ecological Modeling

نویسنده

  • Virgínia V. B. Biris Brilhante
چکیده

System dynamics is a mathematical modeling approach widely used in environmental studies as a tool for representing and simulating ecological systems, giving support to prediction and decision making. The knowledge sources for model design are, essentially, ecological data and human expertise. Interestingly, however, the direct influence of data properties on model design has been little explored. We hypothesise that property descriptions of ecological data (ecological metadata), such as functional, temporal and spatial relations between variables, can be used to guide and to substantiate structural modeling decisions. In this paper we address the use of formal descriptions as an approach to representing ecological metadata, enabling us to automatically draw links between these formal descriptions and ecological modeling. A working example is presented in detail to illustrate the approach. Linking Metadata to System Dynamics

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies

In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...

متن کامل

A Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies

In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...

متن کامل

Data Procurement for Enabling Scientific Workflows: On Exploring Inter-ant Parasitism

Similar to content on the web, scientific data is highly heterogeneous and can benefit from rich semantic descriptions. We are particularly interested in developing an infrastructure for expressing explicit semantic descriptions of ecological data (and lifesciences data in general), and exploiting these descriptions to provide support for automated data integration and transformation within sci...

متن کامل

Formal Verification of Semistructured Data Models in PVS

The rapid growth of the World Wide Web has resulted in a dramatic increase in semistructured data usage, creating a growing need for effective and efficient utilization of semistructured data. In order to verify the correctness of semistructured data design, precise descriptions of the schemas and transformations on the schemas must be established. One effective way to achieve this goal is thro...

متن کامل

A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999